P1522: a Formal Standard for Testability and Diagnosability Measures

Members of the Maintenance and Diagnostic Control subcommittee of /€€E's Sandards Coordinating Committee 20 (SCC20) are developing a standard for testability and diagnosability characteristics and metrics. The objective of this standard, P1522 is to provide notionally correct, useful, and mathematically precise definitions of testabillfy measures that may be used to either measure or predict the testability of a system. Notionally correct means that the measures are not in conflict with intuitive and historical representations. The end purpose is to provide an unambiguous source for definitions of testability and diagnosability metrics. In this paper, we present a summay of the work completed so far on PI522 and a roadmap for its completion. We cover the organization of the standard, the sources of the measures, how these measures relate to the other AI-ESTATE standards, and information modeling.